Banach fixed-point theorem

[数] 巴拿赫不动点定理